Franco-Italian colloquy ars analytica
نویسندگان
چکیده
منابع مشابه
System Description: Analytica 2
The Analytica system is a theorem proving system for 19 century mathematics written on top of the Mathematica computer algebra system. It was developed in the early 1990’s by X. Zhao and E. Clarke and has since been dormant. We describe recent work to resurrect the theorem prover and port it to newer versions of Mathematica. The new system Analytica 2 can still prove the same theorems, but has ...
متن کاملArs Informatica–Ars Electronica: Improving Sonification Aesthetics
In this paper we discuss æsthetic issues of sonifications. We posit that many sonifications have suffered from poor acoustic ecology which makes listening more difficult, thereby resulting in poorer data extraction and inference on the part of the listener. Lessons are drawn from the electro acoustic music community as we argue that it is not instructive to distinguish between sonifications and...
متن کاملr-AnalytiCA: Requirements Analytics for Certification & Accreditation
Numerous interdependent quality requirements imposed by regulatory Certification and Accreditation (C&A) processes enable a rich context to gather compliance evidences for promoting software assurance. The goal of the r-AnalytiCA workbench is to make sense out of the large collection of available evidences for a complex software system though multidimensional requirements-driven problem domain ...
متن کاملAnalytica - A Theorem Prover in Mathematica
Current automatic theorem provers, particularly those based on some variant of resolution, have concentrated on obtaining ever higher inference rates by using clever programming techniques, parallelism, etc. We believe that this approach is unlikely to lead to a useful system for actually doing mathematics. The main problem is the large amount of domain knowledge that is required for even the s...
متن کاملBernoulli and Ars Conjectandi
There are two reasons that 2013 named as Statistics year. First, it was 300 year after written the book, Ars Conjectandi, by Bernoulli and the second, presentation of Bayes article 250 year ago. Hald (2007) beleive that the development period of Probability and Statistics is started from Bernoulli and ended by Fisher. This article expaline the role of Bernoulli book in Statistics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Historia Mathematica
سال: 1988
ISSN: 0315-0860
DOI: 10.1016/0315-0860(88)90010-9